Distributed Control Synthesis
نویسندگان
چکیده
Synthesis of control for distributed systems is considered to be an undecidable problem, under the assumption that control is performed by supervisors synchronizing with the original processes and selectively blocking or supporting the enabled transitions. We described a decidable distributed control problem, where additional communications are allowed between supervisors. In this way, we synthesize control for invariants, reachability, repeated reachability and parity conditions. Special attention is given to reducing the number of added communications.
منابع مشابه
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for t...
متن کاملControl Synthesis for Reconfigurable Distributed Systems with Applications in Manufacturing
We present a framework for control synthesis of reconfigurable distributed agent systems, where each agent includes its own set of basic functions and local rules. There are also global rules, which govern the interaction and communication between these agents. Agents are logically defined by a control synthesizer, communicator, and executer. The control synthesis is capable of detecting and av...
متن کاملAchilles: A High-Level Synthesis System for Asynchronous Circuits
This paper presents Achilles, a High-Level Synthesis System for asynchronous digital circuits. A new architecture model based on a completely distributed control structure is proposed. The most relevant diierences from synthesis systems for synchronous circuits appear in the phases of scheduling and synthesis of the control. Signal Transition Graphs are automatically generated to describe the b...
متن کاملDistributed Supervisory Control Synthesis For Discrete Manufacturing Systems
A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. The discrete manufacturing system (plant) is modeled with automata in a modular way and local control specifications are defined for each local subsystem by means of logical equations in order to construct local supervisors. To establish global control, global specifica...
متن کاملDistributed Synthesis of State-Dependent Switching Control
We present a correct-by-design method of state-dependent control synthesis for linear discrete-time switching systems. Given an objective region R of the state space, the method builds a capture set S and a control which steers any element of S into R. The method works by iterated backward reachability from R. More precisely, S is given as a parametric extension of R, and the maximum value of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014